'a w -> 'b
